Большая советская энциклопедия - исчисление высказываний
Исчисление высказываний
исчисление высказываний
Исчисление высказываний, исчисление суждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
раздел математической логики, аксиоматическое построение логики высказываний. ...Большой энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 4921 | |
2 | 3036 | |
3 | 3007 | |
4 | 2836 | |
5 | 2829 | |
6 | 2797 | |
7 | 2731 | |
8 | 2719 | |
9 | 2604 | |
10 | 2530 | |
11 | 2351 | |
12 | 2221 | |
13 | 2184 | |
14 | 2179 | |
15 | 2154 | |
16 | 2068 | |
17 | 2060 | |
18 | 2046 | |
19 | 2031 | |
20 | 1988 |